Chinese translation for "atomic formula"

【化学】原子式，结构式。

Related Translations:

atomic:  adj.1.原子的。2.极微的。3.强大的。

formula:  n.(pl. formulas, -lae )1.公式，程式；定则，方案。2.【医学】配方，处方。3.(政治口号等的)提法，表述，套语，惯用语句。4.【宗教】信仰表白书。5.【化学】式；【数学】公式。短语和例子a formula for making soap 肥皂制法[配方]。 formula of integration 积分公式。 a binominal formul

atomic number:  【化学】原子序数。

atomic rocket:  原子火箭。

atomic reactor:  原子反应堆。

atomic fission:  原子核裂变。

atomic energy:  【化学】原子能。

atomic warhead:  核弹头。

atomic volume:  【化学】原子体积。

atomic nucleus:  【化学】原子核。

Example Sentences:

	1.	The atomic formula is called atom for short in predicate calculus 在谓词演算中,有时将原子公式简称为原子。
	2.	Remove irrelevant atomic formulas for timed automaton model checking 时间自动机的模型检验中消除无关原子约束
	3.	Removing irrelevant atomic formulas for checking timed automata efficiently . in proc 因此，无关的原子约束是广泛存在的。
	4.	A time constraint is a conjunction of atomic formulas which bound the differences of clock values 时间自动机是可以用于对实时系统建模的有效工具。
	5.	In this paper , it is shown that some atomic formulas of symbolic states generated by the algorithms can be removed to improve the model checking time - and space - efficiency . such atomic formulas are called as irrelevant atomic formulas . a method is also presented to detect irrelevant formulas based on the test - reset information about clock variables 一个时间自动机是一个五元组n , l 0 , c , e , i ，其中n为一个有穷的位置集合， l 0n是初始状态， c是一个取实数值的时钟变量的有穷集合， e ng c 2 cn是转换的集合。

Similar Words：

"atomic flying boat" Chinese translation, "atomic force" Chinese translation, "atomic force microscope" Chinese translation, "atomic forensics" Chinese translation, "atomic form factor" Chinese translation, "atomic fountain" Chinese translation, "atomic fraction" Chinese translation, "atomic fragment" Chinese translation, "atomic fragments" Chinese translation, "atomic frequency" Chinese translation